- [论文解读] GoDDaR:用扩展 CCS + 符号分析,静态检测并自动修复 Go 的部分死锁
arXiv 2610.08962 来自葡萄牙 NOVA LINCS。Go 运行时只检测已发生的全局死锁,部分死锁抓不到。本文把 Go 转 MiGo IR,扩展 CCS 加 external choice,符号分析得 19 TP / 0 FN(25 个真实案例),修复策略产 Go diff。
16 min -
深入解析 Forte:首个面向命令式 Rust 的 sensitivity 类型系统arXiv 2609.30254 提出 Forte,首个针对 Rust &mut 原地修改的 sensitivity 类型系统。λ-Forte 演算 + Verus 反证 + Flux 普通库实现,把 OpenDP 109 篇手写稳定性证明变成 checked obligation。
30 min
Back